TSTP Solution File: DAT246^1 by SInE---0.4